Jagadeesan, Lalita: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model checking without a model

Godefroid, Patrice, Hanmer, Robert S., Jagadeesan, Lalita Jategaonkar

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.10 MB

english, 1998

2

Specification-based testing of reactive software: A case study in technology transfer

Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam Porter, Carlos Puchol, J.Christopher Ramming

Journal:

Journal of Systems and Software

Year:

1998

Language:

english

File:

PDF, 1.67 MB

english, 1998

3

[IEEE 2019 IEEE Conference on Network Softwarization (NetSoft) - Paris, France (2019.6.24-2019.6.28)] 2019 IEEE Conference on Network Softwarization (NetSoft) - Run-time Performance Monitoring, Verification, and Healing of End-to-End Services

Choi, Nakjung, Jagadeesan, Lalita, Jin, Young, Mohanasamy, Nishok Narasimha, Rahman, Muntasir Raihan, Sabnani, Krishan, Thottan, Marina

Year:

2019

Language:

english

File:

PDF, 906 KB

english, 2019

4

[IEEE 2019 IEEE Conference on Network Softwarization (NetSoft) - Paris, France (2019.6.24-2019.6.28)] 2019 IEEE Conference on Network Softwarization (NetSoft) - Death by Babble: Security and Fault Tolerance of Distributed Consensus in High-Availability Softwarized Networks

Hanmer, Robert, Liu, Sheng, Jagadeesan, Lalita, Rahman, Muntasir Raihan

Year:

2019

Language:

english

File:

PDF, 328 KB

english, 2019

5

[IEEE 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Ottawa, ON, Canada (2016.10.23-2016.10.27)] 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Programming the Network: Application Software Faults in Software-Defined Networks

Jagadeesan, Lalita J., Mendiratta, Veena

Year:

2016

Language:

english

File:

PDF, 604 KB

english, 2016

6

Systematic software testing using VeriSoft—An analysis of the 4ESS™ heart-beat monitor

Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan

Journal:

Bell Labs Technical Journal

Year:

1998

Language:

english

File:

PDF, 273 KB

english, 1998

7

[IEEE 2020 IEEE International Workshop Technical Committee on Communications Quality and Reliability (CQR) - Stevenson, WA, USA (2020.5.14-2020.5.14)] 2020 IEEE International Workshop Technical Committee on Communications Quality and Reliability (CQR) - A Hierarchical, Scalable Approach for Availability Analysis of Software Defined Networks

Gokhale, Swapna S., Mendiratta, Veena B., Jagadeesan, Lalita J.

Year:

2020

File:

PDF, 441 KB

2020

8

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Passive mid-stream monitoring of real-time properties

Jagadeesan, Lalita Jategaonkar, Viswanathan, Ramesh

Year:

2005

Language:

english

File:

PDF, 248 KB

english, 2005

9

[IEEE 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Memphis, TN, USA (2018.10.15-2018.10.18)] 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - How Reliable Is My Software-Defined Network? Models and Failure Impacts

Mendiratta, Veena B., Jagadeesan, Lalita J., Hanmer, Robert, Rahman, Muntasir R.

Year:

2018

Language:

english

File:

PDF, 245 KB

english, 2018

10

[IEEE 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Memphis, TN, USA (2018.10.15-2018.10.18)] 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN

Hanmer, Robert, Jagadeesan, Lalita, Mendiratta, Veena, Zhang, Heng

Year:

2018

Language:

english

File:

PDF, 203 KB

english, 2018

11

[ACM Press the 17th international conference - Seattle, Washington, United States (1995.04.24-1995.04.28)] Proceedings of the 17th international conference on Software engineering - ICSE '95 - A framework for evaluating specification methods for reactive systems

Ardis, Mark A., Chaves, John A., Jagadeesan, Lalita Jategaonkar, Mataga, Peter, Puchol, Carlos, Staskauskas, Mark G., Von Olnhausen, James

Year:

1995

Language:

english

File:

PDF, 1.02 MB

english, 1995

12

[IEEE 2020 16th International Conference on the Design of Reliable Communication Networks (DRCN) - Milano, Italy (2020.3.25-2020.3.27)] 2020 16th International Conference on the Design of Reliable Communication Networks DRCN 2020 - Better Safe than Sorry: Modeling Reliability and Security in Replicated SDN Controllers

Kriaa, Siwar, Papillon, Serge, Jagadeesan, Lalita, Mendiratta, Veena

Year:

2020

File:

PDF, 814 KB

2020

13

The Semantics of Triveni: A process-Algebraic API for Threads + Events

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.50 MB

english, 1998

14

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Model-checking of real-time systems

Alur, Rajeev, Jagadeesan, Lalita Jategaonkar, Kott, Joseph J., Von Olnhausen, James E.

Year:

1997

Language:

english

File:

PDF, 1.77 MB

english, 1997

15

Automatically closing open reactive programs

Colby, Christopher, Godefroid, Patrice, Jagadeesan, Lalita Jategaonkar

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 1.85 MB

english, 1998

16

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks

Jagadeesan, Lalita J., Mendiratta, Veena

Year:

2017

Language:

english

File:

PDF, 406 KB

english, 2017

17

The network OS: Carrier-grade SDN control of multi-domain, multi-layer networks

Thottan, Marina, Di Martino, Catello, Kim, Young-Jin, Atkinson, Gary, Choi, Nakjung, Mohanasamy, Nishok, Jagadeesan, Lalita, Mendiratta, Veena, Simsarian, Jesse E., Kozicki, Bartek

Journal:

Bell Labs Technical Journal

Year:

2019

Language:

english

File:

PDF, 61 KB

english, 2019

18

Sisl: Several Interfaces, Single Logic

Thomas Ball, Christopher Colby, Peter Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor

Journal:

International Journal of Speech Technology

Year:

2000

Language:

english

File:

PDF, 335 KB

english, 2000

19

A Multi-Modal Natural Language Interface to an Information Visualization Environment

Kenneth Cox, Rebecca E. Grinter, Stacie L. Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla

Journal:

International Journal of Speech Technology

Year:

2001

Language:

english

File:

PDF, 381 KB

english, 2001

20

Automated systematic testing for constraint-based interactive services

Godefroid, Patrice, Jagadeesan, Lalita J., Jagadeesan, Radha, Läufer, Konstantin

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

21

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Automated systematic testing for constraint-based interactive services

Godefroid, Patrice, Jagadeesan, Lalita J., Jagadeesan, Radha, Läufer, Konstantin

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

22

[IEEE 2009 Third International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST) - Cardiff, Wales, UK (2009.09.15-2009.09.18)] 2009 Third International Conference on Next Generation Mobile Applications, Services and Technologies - Voice Communication Mashups: Formal Specification and Composition of Service Level Agreements

Jagadeesan, Lalita J., Mendiratta, Veena B.

Year:

2009

Language:

english

File:

PDF, 331 KB

english, 2009

23

A formal approach to reactive systems software: A telecommunications application in Esterel

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James E. Olnhausen

Journal:

Formal Methods in System Design

Year:

1996

Language:

english

File:

PDF, 1.36 MB

english, 1996

24

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Specification-based testing of reactive software

Jagadeesan, Lalita Jategaonkar, Porter, Adam, Puchol, Carlos, Ramming, J. Christopher, Votta, Lawrence G.

Year:

1997

Language:

english

File:

PDF, 1.71 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски